probFD

Benchmark
Model:ij v.1 (MDP)
Parameter(s)num_tokens_var = 100
Property:stable (prob-reach)
Invocation (default)
python2.7 ../probfd-qcomp19/jani-to-ppddl/Jani_PPDDL_Compiler.py ij.100.jani -c ../probfd-qcomp19/jani-to-ppddl/config_mutual.py
python2.7 ../probfd-qcomp19/builds/release64/bin/translate/translate.py ij.100-domain.ppddl ij.100-problem.ppddl
../probfd-qcomp19/builds/release64/bin/downward --sas output.sas --engine fretpi-hdp --heuristic hmax --enable-caching --epsilon 1e-6
Execution
Walltime:> 1800s (Timeout)
Log
Parsing...
STDERR
predicate used with wrong arity: (value n1)
Log
reading input... [t=0.000170827s]
done reading input! [t=0.0219436s]
variables: 1201
goals: 1
actions: 16100
axioms: 0
has conditional effects: 0
reconstructing probabilistic actions... [t=0.0219644s]
done reconstructing probabilistic actions! [t=0.0341396s]
probabilistic actions: 16000 (with 16100 outcomes)
constructing successor generator... [t=0.0362735s]
done constructing successor generator! [t=0.0475494s]
Bytes per state: 152
Property: MaxProb
Preparing hmax dead end detection heuristic... [t=0.0479061s]
hmax initialization done! [t=0.0503544s]
Engine: FRET-pi with HDP
Starting trap elimination heuristic search wrapper...


----------
Computation aborted after 1801.0240547657013 seconds since the total time limit of 1800 seconds was exceeded.